An Interactive Tool for Natural Language Processing on Clinical Text Gaurav Trivedi Intelligent Systems Program University of Pittsburgh

Source URL: vialab.science.uoit.ca

• Humancomputer interaction
• Education
• Technical communication
• Human communication
• Technology
• Usability
• Computational linguistics
• Virtual reality
• Educational technology
• Software prototyping
• User interface
• Natural language processing

arXiv:1603.06212v1 [cs.NE] 20 MarEvaluation of a Tree-based Pipeline Optimization Tool for Automating Data Science Randal S. Olson

Source URL: arxiv.org

Electronic Mach-Zehnder interferometer as a tool to probe fractional statistics Yuval Gefen Weizmann Institute of Science Measurements of the transmission phase through a quantum dot (QD) have been first reported by the

Source URL: mti.msd.anl.gov

Chalk, a language and tool for architecture design and analysis Wouter Swierstra, Koen Claessen, Carl Seger, Mary Sheeran and Emily Shriver Chalmers University of Technology and Intel 1

Source URL: www.staff.science.uu.nl

Ecco: A Hybrid Diff Tool for OWL 2 ontologies Rafael S. Gon¸calves, Bijan Parsia, and Ulrike Sattler School of Computer Science, University of Manchester, Manchester, United Kingdom

Source URL: ceur-ws.org

M EMORAX, a precise and sound tool for automatic fence insertion under TSO ? Parosh Aziz Abdulla1 , Mohamed Faouzi Atig1 , Yu-Fang Chen2 , Carl Leonardsson1 , and Ahmed Rezine3 1

Source URL: user.it.uu.se

• Theoretical computer science
• Mathematics
• Finite automata
• Computing
• Theory of computation
• Formal methods
• Reachability problem
• Logic in computer science
• Model checking
• Memory barrier
• Preorder
• Algorithm

Defect Tracking Systems in Global Software Development – a work practice study Gabriela Avram, Anne Sheehan and Daniel K. Sullivan Interaction Design Centre, Department of Computer Science & Information Systems, Univer

Source URL: www.idc.ul.ie

• IEEE standards
• Defect tracking
• Product testing
• Software configuration management
• Bug tracking system
• Software bug
• Software development
• Collaboration tool

Tool Support for Activity Recognition with Computational Causal Behaviour Models Kristina Yordanova, Frank Kr¨uger, and Thomas Kirste University of Rostock, Institute of Computer Science, MMIS Group, Germany {kristina.y

Source URL: www.dfki.de

Intuition before Formalism References June 23, 2015 Relational post conditions: [Flo67, dBS69, Hoa69, Jon73, Jon80, Acz82, Jon86] Data abstraction/reification: [Luc68, Jon70, Jon80, Jon86, Mar86, Nip86, Jon07] Tool suppo

Source URL: homepages.cs.ncl.ac.uk

• Software engineering
• Computer science
• Theoretical computer science
• Formal methods
• Fellows of the British Computer Society
• Logic in computer science
• Cliff Jones
• Dines Bjrner
• Models of computation
• Vienna Development Method
• David Gries
• Formal Aspects of Computing

A Pilot Study of CZTalk: A Graphical Tool for Collaborative Knowledge Work Heidi Lam Simon Fraser University School of Engineering Science

Source URL: www.heidilam.com